Mosek CBF socp socp MOSEK CBF short Example from MOSEK Documentation https://docs.mosek.com/9.0/capi/cbf-format.html#mixing-linear-second-order-and-semidefinite-cones